\begin{nusmvCommand} {print\_bdd\_stats} {Prints out the BDD statistics and parameters}

\cmdLine{print\_bdd\_stats [-h]}

Prints the statistics for the BDD package. The amount of information
depends on the BDD package configuration established at compilation
time. The configurtion parameters are printed out too. More
information about statistics and parameters can be found in the
documentation of the \cudd Decision Diagram package.

\end{nusmvCommand}
